home *** CD-ROM | disk | FTP | other *** search
/ CD ROM Paradise Collection 4 / CD ROM Paradise Collection 4 1995 Nov.iso / science / sm32a.zip / LIBRARY / ASSUME.LI < prev    next >
Text File  |  1993-08-04  |  135b  |  4 lines

  1. assume(x_) := block(x:=1, assumed)
  2. assume(x_, y_) := block(x:=1,y:=1, assumed)
  3. assume(x_, y_, z_) := block(x:=1,y:=1,z:=1, assumed)
  4.